On Testing and Diagnosis of Communication Protocols Based on the FSM Model

A formal analysis of the fault diagnosis capabilities of various FSM-based test sequence selection methods has been carried out’. It is shown’ that the Wp-method’ has the best faultresolution capability among all the known test sequence selection methods based on the FSM model when the implementation has at most one faulty transition. In this paper, we present a test sequence selection method with a fault resolution capability better than that of the Wp-method when the implementation has at most one faulty transition, and when the specification meets certain conditions. This method is based on the Wp-method. Approaches for minimizing the test sequence further, and for exactly locating the fault or improving the fault resolution capability of our method, are also presented.